Философия науки - закон исключенного третьего
Связанные словари
Закон исключенного третьего
закон исключенного третьего
один из основных законов классической двузначной логики, исходившей из наличия у суждений только двух истинностных значений: истины или лжи. Его формальная запись такова: А V А (где V — означает исключающую дизъюнкцию: либо — либо). Согласно этому закону: любое суждение (высказывание вида «А есть В») либо истинно, либо ложно, третьего — не дано. Или: из двух противоречащих друг другу суждений одно непременно истинно. Развитие науки показало неуниверсальность этого закона формальной логики. С" одной стороны, создание квантовой механики показало, что в ней не два, а три истинностных значения для ее высказываний («истинно», «ложно», «неопределенно»), что наиболее подходящей (простой) логической основой для нее может быть скорее трехзначная, чем двухзначная логика. В системах трехзначной логики действует закон не исключенного третьего, а закон исключенного четвертого, который, правда, может рассматриваться как обобщенная форма закона исключенного третьего. Однако более радикальной критике универсальность закона исключенного третьего была подвергнута в интуиционистской логике и математике (Брауэр, Рейтинг и др.), где была показана его неприменимость к рассуждениям о свойствах элементов бесконечных множеств в силу невозможности перебора всех элементов таких множеств на предмет установления наличия или отсутствия у них определенного свойства. С точки зрения интуиционистов и конструктивистов закон исключенного третьего применим к рассуждениям только о конечно обозримых множествах. (См. мышление, рассудок, логика).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 3863 | |
2 | 3824 | |
3 | 3658 | |
4 | 3019 | |
5 | 2332 | |
6 | 2309 | |
7 | 2292 | |
8 | 2166 | |
9 | 1926 | |
10 | 1845 | |
11 | 1759 | |
12 | 1707 | |
13 | 1606 | |
14 | 1583 | |
15 | 1461 | |
16 | 1427 | |
17 | 1422 | |
18 | 1408 | |
19 | 1312 | |
20 | 1241 |